計算機科学のための数学談話会 １ 誤差の相殺